Calculating Criticalities

نویسندگان

  • Alan Bundy
  • Fausto Giunchiglia
  • Roberto Sebastiani
  • Toby Walsh
چکیده

We present a novel method for building Abstrips style abstraction hierarchies in planning. The aim of this method is to minimize search by limiting backtracking both between abstraction levels and within an abstraction level. Previous approaches for building Abstrips style abstractions have determined the crit-icality of operator preconditions by reasoning about plans directly. Here, we adopt a simpler and faster approach where we use numerical simulation of the planning process. We develop a simple but powerful theory to demonstrate the theoretical advantages of our approach. We use this theory to identify some simple properties lacking in previous approaches but possessed by our method. We demonstrate the empirical advantages of our approach by a set of four benchmark experiments using the AbTweak system. We compare the quality of the abstraction hierarchies generated with those built by the Alpine and Highpoint algorithms. Authors are listed in alphabetical order. The rst author is supported by EPSRC grant GR/J/80702, and the last by a HCM personal fellowship. We thank Qiang Yang for assistance with AbTweak and Highpoint, and Alessandro Coglio for assistance with the proof of the rate of convergence of the simpliied Probability model.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Optimization of Selection of Test Sets for Circuits

Generating a test set based on knowledge of the criticalities of all the faults in a given circuit can yield good test coverage. Yet criticalities are costly to calculate. In this paper, a method is proposed of minimizing the number of calculations of criticalities to as much as 12.5% of the original number of criticality calculations while maintaining similar product quality. Additionally, the...

متن کامل

Probabilities and Mixed-Criticalities: the Probabilistic C-Space

Probability distributions bring flexibility as well as accuracy in modeling and analyzing real-time systems. On the other end, the adding of probabilities increases the complexity of the scheduling problem, especially in case of mixed-criticalities where tasks of different criticalities have to be taken into account on the same computing platform. In this work we explore the flexibility of prob...

متن کامل

CAAC - An Adaptive and Proactive Access Control Approach for Emergencies for Smart Infrastructures

The paper presents an access control model called Criticality Aware Access Control (CAAC) for criticality (emergency) management in smart-infrastructures. Criticalities are consequences of events which take a system (in our case, a smart-infrastructure) into an unstable state. They require the execution of specific response actions in order to bring them under control. The principal aim of CAAC...

متن کامل

Models of Urban Land Use in Europe: Assessment Tools and Criticalities

The aim of this paper is to examine available homogenous data on urban conversion of land in Western European countries and determine whether they are suitable to make an international comparison between land policies and management behaviour at the local level. This paper provides some results obtained from currently available information, but it stresses major data production criticalities wh...

متن کامل

Benchmark Test of JEF-1 Evaluation by Calculating Fast Criticalities

JEF-1 basic evaluation was tested by calculating fast critical experiments using the cross section discrete-ordinates transport code ONEDANT with P3S16 approximation. In each computation a spherical one dimensional model was used, together with a 174 neutron group VITAMIN-E structured JEF-1 based nuclear data library, generated at EIR with NJOY and TRANSX-CTR. It is found that the JEF-1 evaluat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Artif. Intell.

دوره 88  شماره 

صفحات  -

تاریخ انتشار 1996